Terimi yeniden yazma , Matematik, bilişim biliminin bir dalı olan evrensel cebir de iki terimin eşit olduğunu ya da olmadığını ispat etmek için kullanılan bir hesap tekniği.
Örnek: Grup teorisinin aksiyomlarını tekrar edelim:
(X · Y) · Z = X · (Y · Z)
X · e = X
X · X<sup>-1</sup> = e
X<sup>-1</sup> · X = e
Şimdi "e · X = X" eşitliğin doğru olup olmadığını terimleri (aksiyomları uygulayıp) yeniden yazarak ispatlayabiliriz.
Kanıt:
e · X
= (X · X<sup>-1</sup>) · X
= X · (X<sup>-1</sup> · X)
= X · e
= X
Franz Baader, Tobias Nipkow. "Term rewriting and all that". Cambridge University Press.
Orijinal kaynak: terimi yeniden yazma. Creative Commons Atıf-BenzerPaylaşım Lisansı ile paylaşılmıştır.
Ne Demek sitesindeki bilgiler kullanıcılar vasıtasıyla veya otomatik oluşturulmuştur. Buradaki bilgilerin doğru olduğu garanti edilmez. Düzeltilmesi gereken bilgi olduğunu düşünüyorsanız bizimle iletişime geçiniz. Her türlü görüş, destek ve önerileriniz için iletisim@nedemek.page